Перевод: со всех языков на русский

с русского на все языки

normal deduction

См. также в других словарях:

  • Deduction theorem — In mathematical logic, the deduction theorem is a metatheorem of first order logic.[1] It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption.… …   Wikipedia

  • Normal form (natural deduction) — An inference of natural deduction is a normal form, according to Dag Prawitz, if no formula occurrence is both the principal premise of an elimination rule and the conclusion of an introduction rule. This logic related article is a stub. You can… …   Wikipedia

  • Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… …   Wikipedia

  • Itemized deduction — Individual taxpayers in the United States are allowed a choice when preparing their Federal income tax returns. After computing their Adjusted gross income (AGI), taxpayers can itemize their deductions (from a list of allowable items) and… …   Wikipedia

  • Limits on Depreciation Deduction — Section 280F [http://frwebgate.access.gpo.gov/cgi bin/getdoc.cgi?dbname=browse usc docid=Cite:+26USC280F Sec. 280F Limitation on depreciation for luxury automobiles; limitation where certain property used for personal purposes] , Internal Revenue …   Wikipedia

  • Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… …   Wikipedia

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

  • income tax — a tax levied on incomes, esp. an annual government tax on personal incomes. [1790 1800] * * * Levy imposed by public authority on the incomes of persons or corporations within its jurisdiction. In nations with an advanced system of private… …   Universalium

  • cosmos — /koz meuhs, mohs/, n., pl. cosmos, cosmoses for 2, 4. 1. the world or universe regarded as an orderly, harmonious system. 2. a complete, orderly, harmonious system. 3. order; harmony. 4. any composite plant of the genus Cosmos, of tropical… …   Universalium

  • Sherlock (série télévisée) — Pour les articles homonymes, voir Sherlock. Sherlock Titre original Sherlock Genre Série …   Wikipédia en Français

  • Charles Sanders Peirce —  B …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»